منابع مشابه
Borel Quasi-Orderings in Subsystems of Second-Order Arithmetic
Marcone, A., Bore1 quasi-orderings in subsystems of second-order arithmetic, Annals of Pure and Applied Logic 54 (1991) 265-291. We study the provability in subsystems of second-order arithmetic of two theorems of Harrington and Shelah [6] about Bore1 quasi-orderings of the reals. These theorems turn out to be provable in AT&, thus giving further evidence to the observation that AT&, is the min...
متن کاملBorel structures and Borel theories
We show that there is a complete, consistent Borel theory which has no “Borel model” in the following strong sense: There is no structure satisfying the theory for which the elements of the structure are equivalence classes under some Borel equivalence relation and the interpretations of the relations and function symbols are Borel in the natural sense. We also investigate Borel isomorphisms be...
متن کاملBorel Conjecture and Dual Borel Conjecture
We show that it is consistent that the Borel Conjecture and the dual Borel Conjecture hold simultaneously.
متن کاملBorel Generators
We use the notion of Borel generators to give alternative methods for computing standard invariants, such as associated primes, Hilbert series, and Betti numbers, of Borel ideals. Because there are generally few Borel generators relative to ordinary generators, this enables one to do manual computations much more easily. Moreover, this perspective allows us to find new connections to combinator...
متن کاملExtension Orderings
In this paper we study how to extend a collection of term orderings on disjoint signatures to a single one, called an extension ordering , which preserves (part of) their properties. Apart of its own interest, e.g. in automated deduction, extension orderings turn out to be a new method to obtain simple and constructive proofs for modularity of termination of TRS. Three diierent schemes to deene...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 1988
ISSN: 0002-9947
DOI: 10.1090/s0002-9947-1988-0965754-3